f: a where a implements A

f
